Lying Dangerously Dormant

STIT is dangerously undecidable

STIT is a potential logical framework to capture responsibility, counterfactual emotions and norms, which are main ingredients for specifying behaviors of virtual agents. We identify here a new fragment and its satisfiability problem is NPcomplete and in Σ3 when the number of agents is unbounded. We also identify a slightly more expressive fragment which is undecidable. This fragment is used to...

Driving dangerously to save lives.

Correspondence: Samrat Sinha, MA, PhD Centre for Study of Political Violence Jindal School of International Affairs Sonipat Narela Road Sonipat, Haryana 131001 NCR of Delhi, India E-mail: [email protected] The article ‘‘In the Line of Duty: A Study of Ambulance Drivers During the 2010 Conflict in Kashmir’’ provides critical insights into the nature of risks faced by local health care workers...

Dormant Independence

The construction of causal graphs from non-experimental data rests on a set of constraints that the graph structure imposes on all probability distributions compatible with the graph. These constraints are of two types: conditional independencies and algebraic constraints, first noted by Verma. While conditional independencies are well studied and frequently used in causal induction algorithms,...

Lying and Deception Lying and Self-deception

Questions about truthfulness occur in many contexts—when parents ask their children if they are using recreational drugs, when an employer ask applicants about the reasons they left their last job, when international leaders consider each others’ threats or promises, when voters evaluate candidates’ promises, when physicians consider a patient’s complaint, when at the start of a romantic encoun...

Pathological Lying